In mathematics, for a language , define the Herbrand universe to be the set of ground terms of .
A structure for is a Herbrand structure if the domain of is the Herbrand universe of This fixes the domain of , and so each Herbrand structure can be identified with its interpretation, leading to the alternative nomenclature of Herbrand interpretation.
A Herbrand model of a theory is a Herbrand structure which is a model of
This article incorporates material from Herbrand structure on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.